Implication Details

Assumptions: disjoint finite products, self-dual

Conclusions: disjoint finite coproducts

Reason: This holds by self-duality.